Optimal. Leaf size=140 \[ \frac {\sqrt {a+b x^2} (6 b c-7 a d)}{35 a^2 x^5}-\frac {\sqrt {a+b x^2} \left (35 a^2 e-28 a b d+24 b^2 c\right )}{105 a^3 x^3}+\frac {\sqrt {a+b x^2} \left (-105 a^3 f+70 a^2 b e-56 a b^2 d+48 b^3 c\right )}{105 a^4 x}-\frac {c \sqrt {a+b x^2}}{7 a x^7} \]
________________________________________________________________________________________
Rubi [A] time = 0.18, antiderivative size = 140, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 3, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.094, Rules used = {1803, 12, 264} \begin {gather*} \frac {\sqrt {a+b x^2} \left (70 a^2 b e-105 a^3 f-56 a b^2 d+48 b^3 c\right )}{105 a^4 x}-\frac {\sqrt {a+b x^2} \left (35 a^2 e-28 a b d+24 b^2 c\right )}{105 a^3 x^3}+\frac {\sqrt {a+b x^2} (6 b c-7 a d)}{35 a^2 x^5}-\frac {c \sqrt {a+b x^2}}{7 a x^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 264
Rule 1803
Rubi steps
\begin {align*} \int \frac {c+d x^2+e x^4+f x^6}{x^8 \sqrt {a+b x^2}} \, dx &=-\frac {c \sqrt {a+b x^2}}{7 a x^7}-\frac {\int \frac {6 b c-7 a \left (d+e x^2+f x^4\right )}{x^6 \sqrt {a+b x^2}} \, dx}{7 a}\\ &=-\frac {c \sqrt {a+b x^2}}{7 a x^7}+\frac {(6 b c-7 a d) \sqrt {a+b x^2}}{35 a^2 x^5}+\frac {\int \frac {4 b (6 b c-7 a d)-5 a \left (-7 a e-7 a f x^2\right )}{x^4 \sqrt {a+b x^2}} \, dx}{35 a^2}\\ &=-\frac {c \sqrt {a+b x^2}}{7 a x^7}+\frac {(6 b c-7 a d) \sqrt {a+b x^2}}{35 a^2 x^5}-\frac {\left (24 b^2 c-28 a b d+35 a^2 e\right ) \sqrt {a+b x^2}}{105 a^3 x^3}-\frac {\int \frac {2 b \left (24 b^2 c-28 a b d+35 a^2 e\right )-105 a^3 f}{x^2 \sqrt {a+b x^2}} \, dx}{105 a^3}\\ &=-\frac {c \sqrt {a+b x^2}}{7 a x^7}+\frac {(6 b c-7 a d) \sqrt {a+b x^2}}{35 a^2 x^5}-\frac {\left (24 b^2 c-28 a b d+35 a^2 e\right ) \sqrt {a+b x^2}}{105 a^3 x^3}-\frac {\left (48 b^3 c-56 a b^2 d+70 a^2 b e-105 a^3 f\right ) \int \frac {1}{x^2 \sqrt {a+b x^2}} \, dx}{105 a^3}\\ &=-\frac {c \sqrt {a+b x^2}}{7 a x^7}+\frac {(6 b c-7 a d) \sqrt {a+b x^2}}{35 a^2 x^5}-\frac {\left (24 b^2 c-28 a b d+35 a^2 e\right ) \sqrt {a+b x^2}}{105 a^3 x^3}+\frac {\left (48 b^3 c-56 a b^2 d+70 a^2 b e-105 a^3 f\right ) \sqrt {a+b x^2}}{105 a^4 x}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 103, normalized size = 0.74 \begin {gather*} \frac {\sqrt {a+b x^2} \left (-a^3 \left (15 c+21 d x^2+35 x^4 \left (e+3 f x^2\right )\right )+2 a^2 b x^2 \left (9 c+14 d x^2+35 e x^4\right )-8 a b^2 x^4 \left (3 c+7 d x^2\right )+48 b^3 c x^6\right )}{105 a^4 x^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.26, size = 114, normalized size = 0.81 \begin {gather*} \frac {\sqrt {a+b x^2} \left (-15 a^3 c-21 a^3 d x^2-35 a^3 e x^4-105 a^3 f x^6+18 a^2 b c x^2+28 a^2 b d x^4+70 a^2 b e x^6-24 a b^2 c x^4-56 a b^2 d x^6+48 b^3 c x^6\right )}{105 a^4 x^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.21, size = 100, normalized size = 0.71 \begin {gather*} \frac {{\left ({\left (48 \, b^{3} c - 56 \, a b^{2} d + 70 \, a^{2} b e - 105 \, a^{3} f\right )} x^{6} - {\left (24 \, a b^{2} c - 28 \, a^{2} b d + 35 \, a^{3} e\right )} x^{4} - 15 \, a^{3} c + 3 \, {\left (6 \, a^{2} b c - 7 \, a^{3} d\right )} x^{2}\right )} \sqrt {b x^{2} + a}}{105 \, a^{4} x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.57, size = 554, normalized size = 3.96 \begin {gather*} \frac {2 \, {\left (105 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{12} \sqrt {b} f - 630 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{10} a \sqrt {b} f + 210 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{10} b^{\frac {3}{2}} e + 560 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{8} b^{\frac {5}{2}} d + 1575 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{8} a^{2} \sqrt {b} f - 910 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{8} a b^{\frac {3}{2}} e + 1680 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} b^{\frac {7}{2}} c - 1400 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} a b^{\frac {5}{2}} d - 2100 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} a^{3} \sqrt {b} f + 1540 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} a^{2} b^{\frac {3}{2}} e - 1008 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} a b^{\frac {7}{2}} c + 1176 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} a^{2} b^{\frac {5}{2}} d + 1575 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} a^{4} \sqrt {b} f - 1260 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} a^{3} b^{\frac {3}{2}} e + 336 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} a^{2} b^{\frac {7}{2}} c - 392 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} a^{3} b^{\frac {5}{2}} d - 630 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} a^{5} \sqrt {b} f + 490 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} a^{4} b^{\frac {3}{2}} e - 48 \, a^{3} b^{\frac {7}{2}} c + 56 \, a^{4} b^{\frac {5}{2}} d + 105 \, a^{6} \sqrt {b} f - 70 \, a^{5} b^{\frac {3}{2}} e\right )}}{105 \, {\left ({\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} - a\right )}^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 111, normalized size = 0.79 \begin {gather*} -\frac {\sqrt {b \,x^{2}+a}\, \left (105 a^{3} f \,x^{6}-70 a^{2} b e \,x^{6}+56 a \,b^{2} d \,x^{6}-48 b^{3} c \,x^{6}+35 a^{3} e \,x^{4}-28 a^{2} b d \,x^{4}+24 a \,b^{2} c \,x^{4}+21 a^{3} d \,x^{2}-18 a^{2} b c \,x^{2}+15 c \,a^{3}\right )}{105 a^{4} x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.40, size = 193, normalized size = 1.38 \begin {gather*} \frac {16 \, \sqrt {b x^{2} + a} b^{3} c}{35 \, a^{4} x} - \frac {8 \, \sqrt {b x^{2} + a} b^{2} d}{15 \, a^{3} x} + \frac {2 \, \sqrt {b x^{2} + a} b e}{3 \, a^{2} x} - \frac {\sqrt {b x^{2} + a} f}{a x} - \frac {8 \, \sqrt {b x^{2} + a} b^{2} c}{35 \, a^{3} x^{3}} + \frac {4 \, \sqrt {b x^{2} + a} b d}{15 \, a^{2} x^{3}} - \frac {\sqrt {b x^{2} + a} e}{3 \, a x^{3}} + \frac {6 \, \sqrt {b x^{2} + a} b c}{35 \, a^{2} x^{5}} - \frac {\sqrt {b x^{2} + a} d}{5 \, a x^{5}} - \frac {\sqrt {b x^{2} + a} c}{7 \, a x^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.28, size = 124, normalized size = 0.89 \begin {gather*} \frac {\sqrt {b\,x^2+a}\,\left (-105\,f\,a^3+70\,e\,a^2\,b-56\,d\,a\,b^2+48\,c\,b^3\right )}{105\,a^4\,x}-\frac {\sqrt {b\,x^2+a}\,\left (7\,a\,d-6\,b\,c\right )}{35\,a^2\,x^5}-\frac {\sqrt {b\,x^2+a}\,\left (35\,e\,a^2-28\,d\,a\,b+24\,c\,b^2\right )}{105\,a^3\,x^3}-\frac {c\,\sqrt {b\,x^2+a}}{7\,a\,x^7} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 6.71, size = 891, normalized size = 6.36 \begin {gather*} - \frac {5 a^{6} b^{\frac {19}{2}} c \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {9 a^{5} b^{\frac {21}{2}} c x^{2} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {5 a^{4} b^{\frac {23}{2}} c x^{4} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {3 a^{4} b^{\frac {9}{2}} d \sqrt {\frac {a}{b x^{2}} + 1}}{15 a^{5} b^{4} x^{4} + 30 a^{4} b^{5} x^{6} + 15 a^{3} b^{6} x^{8}} + \frac {5 a^{3} b^{\frac {25}{2}} c x^{6} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {2 a^{3} b^{\frac {11}{2}} d x^{2} \sqrt {\frac {a}{b x^{2}} + 1}}{15 a^{5} b^{4} x^{4} + 30 a^{4} b^{5} x^{6} + 15 a^{3} b^{6} x^{8}} + \frac {30 a^{2} b^{\frac {27}{2}} c x^{8} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {3 a^{2} b^{\frac {13}{2}} d x^{4} \sqrt {\frac {a}{b x^{2}} + 1}}{15 a^{5} b^{4} x^{4} + 30 a^{4} b^{5} x^{6} + 15 a^{3} b^{6} x^{8}} + \frac {40 a b^{\frac {29}{2}} c x^{10} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {12 a b^{\frac {15}{2}} d x^{6} \sqrt {\frac {a}{b x^{2}} + 1}}{15 a^{5} b^{4} x^{4} + 30 a^{4} b^{5} x^{6} + 15 a^{3} b^{6} x^{8}} + \frac {16 b^{\frac {31}{2}} c x^{12} \sqrt {\frac {a}{b x^{2}} + 1}}{35 a^{7} b^{9} x^{6} + 105 a^{6} b^{10} x^{8} + 105 a^{5} b^{11} x^{10} + 35 a^{4} b^{12} x^{12}} - \frac {8 b^{\frac {17}{2}} d x^{8} \sqrt {\frac {a}{b x^{2}} + 1}}{15 a^{5} b^{4} x^{4} + 30 a^{4} b^{5} x^{6} + 15 a^{3} b^{6} x^{8}} - \frac {\sqrt {b} e \sqrt {\frac {a}{b x^{2}} + 1}}{3 a x^{2}} - \frac {\sqrt {b} f \sqrt {\frac {a}{b x^{2}} + 1}}{a} + \frac {2 b^{\frac {3}{2}} e \sqrt {\frac {a}{b x^{2}} + 1}}{3 a^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________